Melliès, Paul-André: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Resource modalities in tensor logic

Paul-André Melliès, Nicolas Tabareau

Journal:

Annals of Pure and Applied Logic

Year:

2010

Language:

english

File:

PDF, 1.24 MB

english, 2010

2

Asynchronous games 2: The true concurrency of innocence

Paul-André Melliès

Journal:

Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 428 KB

english, 2006

3

[ACM Press the 42nd Annual ACM SIGPLAN-SIGACT Symposium - Mumbai, India (2015.01.15-2015.01.17)] Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '15 - Functors are Type Refinement Systems

Melliès, Paul-André, Zeilberger, Noam

Year:

2015

Language:

english

File:

PDF, 782 KB

english, 2015

4

Asynchronous Games 3 An Innocent Model of Linear Logic

Paul-André Melliès

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 353 KB

english, 2005

5

An Algebraic Account of References in Game Semantics

Paul-André Melliès, Nicolas Tabareau

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 511 KB

english, 2009

6

Sequential algorithms and strongly stable functions

Paul-André Melliès

Journal:

Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 613 KB

english, 2005

7

Comparing hierarchies of types in models of linear logic

Paul-André Melliès

Journal:

Information and Computation

Year:

2004

Language:

english

File:

PDF, 399 KB

english, 2004

8

Monads with arities and their associated theories

Clemens Berger, Paul-André Melliès, Mark Weber

Journal:

Journal of Pure and Applied Algebra

Year:

2012

Language:

english

File:

PDF, 355 KB

english, 2012

9

[IEEE 2010 25th Annual IEEE Symposium on Logic in Computer Science (LICS 2010) - Edinburgh, United Kingdom (2010.07.11-2010.07.14)] 2010 25th Annual IEEE Symposium on Logic in Computer Science - Segal Condition Meets Computational Effects

Melliès, Paul-André

Year:

2010

Language:

english

File:

PDF, 379 KB

english, 2010

10

[IEEE 2012 27th Annual IEEE Symposium on Logic in Computer Science (LICS 2012) - Dubrovnik, Croatia (2012.06.25-2012.06.28)] 2012 27th Annual IEEE Symposium on Logic in Computer Science - Game Semantics in String Diagrams

Mellies, Paul-Andre

Year:

2012

Language:

english

File:

PDF, 2.02 MB

english, 2012

11

[IEEE 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007) - Wroclaw, Poland (2007.07.10-2007.07.14)] 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007) - Resource modalities in game semantics

Mellies, Paul-Andre, Tabareau, Nicolas

Year:

2007

Language:

english

File:

PDF, 266 KB

english, 2007

12

Double categories: a modular model of multiplicative linear logic

MELLIÈS, PAUL-ANDRÉ

Journal:

Mathematical Structures in Computer Science

Year:

2002

Language:

english

File:

PDF, 653 KB

english, 2002

13

[IEEE 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007) - Wroclaw, Poland (2007.07.10-2007.07.14)] 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007) - Categorical Combinatorics for Innocent Strategies

Harmer, Russ, Hyland, Martin, Mellies, Paul-Andre

Year:

2007

Language:

english

File:

PDF, 215 KB

english, 2007

14

[ACM Press the 34th annual ACM SIGPLAN-SIGACT symposium - Nice, France (2007.01.17-2007.01.19)] Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '07 - A very modal model of a modern, major, general type system

Appel, Andrew W., Melliès, Paul-André, Richards, Christopher D., Vouillon, Jérôme

Year:

2007

Language:

english

File:

PDF, 376 KB

english, 2007

15

A very modal model of a modern, major, general type system

Appel, Andrew W., Melliès, Paul-André, Richards, Christopher D., Vouillon, Jérôme

Journal:

ACM SIGPLAN Notices

Year:

2007

Language:

english

File:

PDF, 376 KB

english, 2007

16

[ACM Press the 31st ACM SIGPLAN-SIGACT symposium - Venice, Italy (2004.01.14-2004.01.16)] Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '04 - Semantic types

Vouillon, Jerome, Melliès, Paul-André

Year:

2004

Language:

english

File:

PDF, 282 KB

english, 2004

17

[IEEE 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Kyoto, Japan (2015.7.6-2015.7.10)] 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science - A Fibrational Account of Local States

Maillard, Kenji, Mellies, Paul-Andre

Year:

2015

Language:

english

File:

PDF, 669 KB

english, 2015

18

Semantic types

Vouillon, Jerome, Melliès, Paul-André

Journal:

ACM SIGPLAN Notices

Year:

2004

Language:

english

File:

PDF, 282 KB

english, 2004

19

Functors are Type Refinement Systems

Melliès, Paul-André, Zeilberger, Noam

Journal:

ACM SIGPLAN Notices

Year:

2015

Language:

english

File:

PDF, 782 KB

english, 2015

20

A micrological study of negation

Melliès, Paul-André

Journal:

Annals of Pure and Applied Logic

Year:

2017

Language:

english

File:

PDF, 1.46 MB

english, 2017

21

The parametric continuation monad

MELLIÈS, PAUL-ANDRÉ

Journal:

Mathematical Structures in Computer Science

Year:

2015

Language:

english

File:

PDF, 832 KB

english, 2015

22

An Isbell duality theorem for type refinement systems

MELLIÈS, PAUL-ANDRÉ, ZEILBERGER, NOAM

Journal:

Mathematical Structures in Computer Science

Year:

2017

Language:

english

File:

PDF, 334 KB

english, 2017

23

An explicit formula for the free exponential modality of linear logic

MELLIÈS, PAUL-ANDRÉ, TABAREAU, NICOLAS, TASSON, CHRISTINE

Journal:

Mathematical Structures in Computer Science

Year:

2017

Language:

english

File:

PDF, 318 KB

english, 2017

24

[IEEE 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Reykjavik, Iceland (2017.6.20-2017.6.23)] 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Higher-order parity automata

Mellies, Paul-Andre

Year:

2017

Language:

english

File:

PDF, 1015 KB

english, 2017

25

[ACM Press the 31st Annual ACM/IEEE Symposium - New York, NY, USA (2016.07.05-2016.07.08)] Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '16 - A bifibrational reconstruction of Lawvere's presheaf hyperdoctrine

Melliès, Paul-André, Zeilberger, Noam

Year:

2016

Language:

english

File:

PDF, 354 KB

english, 2016

26

A Game Semantics of Concurrent Separation Logic

Melliès, Paul-André, Stefanesco, Léo

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2018

Language:

english

File:

PDF, 318 KB

english, 2018

27

Dialogue Categories and Chiralities

Melliès, Paul-André

Journal:

Publications of the Research Institute for Mathematical Sciences

Year:

2016

Language:

english

File:

PDF, 573 KB

english, 2016

28

[IEEE 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Vancouver, BC, Canada (2019.6.24-2019.6.27)] 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Template games and differential linear logic

Mellies, Paul-Andre

Year:

2019

Language:

english

File:

PDF, 217 KB

english, 2019

29

[ACM Press the 33rd Annual ACM/IEEE Symposium - Oxford, United Kingdom (2018.07.09-2018.07.12)] Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '18 - Ribbon Tensorial Logic

Melliès, Paul-André

Year:

2018

Language:

english

File:

PDF, 1.26 MB

english, 2018

30

On Dialogue Games and Graph Games

Jacq, Clément, Melliès, Paul-André

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2018

Language:

english

File:

PDF, 285 KB

english, 2018